例句與造句

1. developing correct and efficient algorithmic programs has become a key topic in the computer science community
   為了更好地解決這兩個(gè)至關(guān)重要的問(wèn)題，par方法應(yīng)運(yùn)而生。
2. formal development of correct and efficient algorithmic programs is at the heart of the research in the field of the formal method
   有效解決“軟件危機(jī)”的一種重要途徑是使用形式化方法來(lái)開(kāi)發(fā)軟件產(chǎn)品。
3. herein, we proposed that the software reuse technique based on algorithmic framework is to formal deduce from algorithmic program and get its abstract algorithm by using the par method proposed by professor xue jingyun
   本文提出的基于算法框架的軟件設(shè)計(jì)及分析復(fù)用技術(shù)是利用薛錦云教授提出的par方法，對(duì)算法程序進(jìn)行形式化推導(dǎo)，得到其抽象算法。
4. par is a practical environment for formal development of algorithmic programs, which is proposed by professor xue . it is based on the research of the projects supported by the national natural science foundation of china
   薛錦云教授在國(guó)家863和多項(xiàng)國(guó)家自然科學(xué)基金的資助下，根據(jù)多年從事算法程序設(shè)計(jì)理論研究的成果，提出了一種實(shí)用的開(kāi)發(fā)和證明算法的方法??par。
5. It's difficult to find algorithmic program in a sentence. 用algorithmic program造句挺難的